/* @LICENSE(NICTA_CORE) */

#include <stdlib.h>
#include <stdio.h>

void
abort(void)
{
    printf("abort() called.\n");

    while (1);
}
